421. Words, Semigroups & Transductions :
المؤلف: editors, Masami Ito, Gheorghe Păun, Sheng Yu.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal languages.,Group theory.,Machine theory.,Formal languages.,Group theory.,Machine theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA267
.
3
.
W67
2001eb
422. Words, languages, and combinatorics II: proceedings of the international conference : Kyoto, Japan, 25-28 August 1992
پدیدآورنده :
موضوع : ، Semigroups- Congresses,، Formal languages- Congresses,، Automata- Congresses
۴ نسخه از این کتاب در ۱ کتابخانه موجود است.
423. Words, languages, and combinatorics III
المؤلف: editors, Masami Ito, Teruo Imaoka.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal languages, Congresses.,Machine theory, Congresses.,Semigroups, Congresses.
424. 5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980
المؤلف: edited by Wolfgang Bibel, Robert Kowalski.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science,Computer science.,Mathematical Logic and Formal Languages
425. تشریح جامع مسائل نظریه زبان ها و ماشین ها بر اساس کتاب پیتر لینز - ویراست پنجم
المؤلف: مولفان لیلا صالحی? سعید ربیعی? ابراهیم علایی.,صالحی? لیلا
المکتبة: كتابخانه مركزي و مركز اسناد شهيد مطهري دانشگاه رازى (کرمانشاه)
موضوع: زبان های صوری Formal languages زبان های صوری -- آزمون ها و تمرین ها )عالی( Formal languages -- Examinations, questions, etc. )Higher( نظریه ماشین Machine theory نظریه ماشین -- آزمون ها و تمرین ها )عالی( Machine theory -- Examinations, questions, etc. )Higher(
رده :
QA
267/3
/
ل
9
م
726
426. تشریح جامع مسائل نظریه زبان‌ها و ماشین‌ها بر اساس کتاب پیترلینز
المؤلف: / مولفان: لیلا صالحی، سعید ربیعی، ابراهیم علایی
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: زبان‌های صوری,Formal languages,زبان‌های صوری -- آزمون‌ها و تمرین‌ها (عالی),(Examinations, questions, etc. (Higher -- Formal languages,نظریه ماشین,Machine theory,نظریه ماشین -- آزمون‌ها و تمرین‌ها (عالی),(Examinations, questions, etc. (Higher -- Machine theory
رده :
QA
۲۶۷
/
۳
/
ل
۹
م
۷۲۶ ۱۳۹۶
427. روشی برای تبدیل صوری سناریوها به نمودارهای مبتنی بر حالت :یک گام جدید به سوی خودکارصسازی تولید کد
المؤلف: /رضا گومانی
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Seqence Diagram,State Daigram,formal Languages,Component's Behavior,Outomation and Formal Language
428. مقدمه‌ای بر نظریه زبان‌ها و ماشین‌ها
المؤلف: / مولفان: پیتر لینز، سوزان‌اچ. راجر,عنوان اصلی: An introduction to formal languages and automata, 7th ed.,ل‍ی‍ن‍ت‍س,Linz
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: زبان‌های صوری,Formal languages,نظریه ماشین,Machine theory,a01,a01,a02,a02
رده :
QA
۲۶۷
/
۳
/
ن
۶،
ل
۹ ۱۴۰۰
429. نظریه زبان ها و ماشین ها
المؤلف: مولف فردين شاپوری.,شاپوری
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: نظریه ماشین,Machine theory,زبان‌های صوری,Formal languages,a01,a02
رده :
QA
۲۶۷
/
ش
۲
ن
۶ ۱۳۹۶
430. نظریه زبان ها و ماشین ها
المؤلف: / نگارش محمد رستمی، الهه نشاط
المکتبة: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع: زبان‌های صوری,Formal languages,نظریه ماشین,Machine theory
رده :
QA
۲۶۷
/
۳
/
ر
۵
ن
۶ ۱۳۹۷
431. نظریه زبان ها و ماشین ها
المؤلف: مولف: فردین شاپوری,شاپوری? فردین
المکتبة: كتابخانه مركزي و مركز اسناد شهيد مطهري دانشگاه رازى (کرمانشاه)
موضوع: نظریه ماشین Machine theory زبان های صوری Formal languages
رده :
QA
267
/
ش
2
ن
6
432. نظریه زبان‌ها و ماشین‌ها
المؤلف: / مولف فردین شاپوری
المکتبة: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع: نظریه ماشین,Machine theory,زبان‌های صوری,Formal languages
رده :
QA
۲۶۷
/
۳
/
ش
۲
ن
۶ ۱۳۹۶
433. نظریه زبان‌ها و ماشین‌ها
المؤلف: / مولف مجتبی پورمحقق,پشت جلد به انگلیسی: M. Pourmohaghegh. Theory of formal languages & automota.,پورمحقق
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: زبان‌های صوری,Formal languages,زبان‌های صوری,Formal languages,نظریه ماشین,Machine theory,نظریه ماشین,Machine theory,دانشگاه‌ها و مدارس عالی,Universities and colleges,آزمون دوره‌های تحصیلات تکمیلی,Graduate Record Examination , -- آزمون‌ها و تمرین‌ها (عالی), -- Examinations, questions, etc. (Higher), -- آزمون‌ها و تمرین‌ها (عالی), -- Examinations, questions, etc. (Higher), -- راهنمای آموزشی (عالی), -- Study and teaching (Higher), -- راهنمای آموزشی (عالی), -- Study and teaching (Higher), -- آزمون‌ها, -- Examinations, -- ایران, --Iran, -- ایران, -- Iran
رده :
LB
۲۳۵۳
/
پ
۹۴۱
ن
۶ ۱۳۹۹
434. نظریه زبان‌ها و ماشین‌ها، رشته‌های مهندسی و علوم کامپیوتر
المؤلف: / تالیف محمد رستمی، الهه نشاط.,رستمی
المکتبة: مكتبة حرم كيش الدولي بجامعة طهران (هرمزکان)
موضوع: زبان‌های صوری,Formal languages,نظریه ماشین,Machine theory,a01,a01,a02,a02
رده :
QA
۲۶۷
/
۳
/
ر
۴
ن
۶
